Checking Quality Criteria for ISO 15926-8 compliant Installation Descriptions

An implementation of ISO 15926-8 compliant Installation Descriptions must comply with a set of quality criteria to verify typing, literals, subclasses, part 8 adherence and be a conservative extension of ISO 15926-8. The first criteria can be checked with a combination of SPARQL and DL queries together with an Integrity Constraints Validator. A typical implementation was found to be a model conservative extension of ISO 15926-8, and limiting the allowed axioms is sufficient to ensure a model conservative extension. An extended model conservative extension with stricter requirements was found to limit concept unsatisfiability